/*
 * Copyright 2023-2025, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 *
 * Authors:
 *   Haiku Development Team
 */
#ifndef _KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_TIMER_H
#define _KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_TIMER_H

#include <SupportDefs.h>

#ifdef __cplusplus
extern "C" {
#endif

void arch_timer_init(void);
bigtime_t arch_get_time_stamp(void);

#ifdef __cplusplus
}
#endif

#endif /* _KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_TIMER_H */